A System of Paraconsistent Logic Equipped with Classical Negation
نویسندگان
چکیده
منابع مشابه
Paraconsistent Logic and Weakening of Intuitionistic Negation
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log. 49 (2008), 401–424], we developed the systems of weakening of intuitionistic negation logic, called Zn and CZn, in the spirit of da Costa’s approach by preserving, differently from da Costa, the fundamental properties of negation: antitonici...
متن کاملClassical Negation in Logic Programs
The purpose of this work is to extend logic programming beyond normal programs, as defined in [Lloy87], and thus beyond(positive) definite clause programming, by allowing also definite negative heads. Thus we admit program clauses with both positive and (classically) negated atoms conjoined in the body, and at most one literal as its head (clauses with disjunctions of literals in the head are t...
متن کاملNegation and Paraconsistent Logics
Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation (¬) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come ...
متن کاملOn the Expressive Power of IF-Logic with Classical Negation
It is well-known that Independence Friendly (IF) logic is equivalent to existential second-order logic (Σ 1) and, therefore, is not closed under classical negation. The boolean closure of IF sentences, called Extended IF-logic, on the other hand, corresponds to a proper fragment of ∆2. In this paper we consider IF-logic extended with Hodges’ flattening operator, which allows classical negation ...
متن کاملClassical and Empirical Negation in Subintuitionistic Logic
Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Japan Association for Philosophy of Science
سال: 2009
ISSN: 0022-7668,1884-1236
DOI: 10.4288/kisoron.36.1_9